Int. J. Systems Sci., 1970, vol. 1, No. 2, [removed]EVERY GOOD REGULATOR OF A SYSTEM MUST BE A MODEL OF THAT SYSTEM1 Roger C. Conant Department of Information Engineering, University of Illinois, Box 4348, Chicago,

Source URL: cleamc11.vub.ac.be

• Entropy
• Information
• Linear temporal logic
• Μ operator
• Information theory
• Symbol
• Constructible universe

Spurious Disambiguation Error Detection Claudio Sacerdoti Coen and Stefano Zacchiroli Department of Computer Science, University of Bologna [removed], [removed] Abstract. The disambiguation appro

Source URL: www.cs.unibo.it

• Interpretation
• Philosophy of language
• Philosophy of mind
• Semantics
• Symbol
• Structure
• Linguistics
• Golden ratio base
• Linear temporal logic
• Model theory
• Mathematics
• Logic

LTL-Model-Checking via Model Composition Ingo Felscher RWTH Aachen University, 52074 Aachen, Germany, [removed], http://automata.rwth-aachen.de/~felscher/

Source URL: www.automata.rwth-aachen.de

• Temporal logic
• Automata theory
• Model checking
• Model theory
• First-order logic
• Symbol
• Constructible universe
• Büchi automaton
• Well-formed formula
• Logic
• Mathematical logic
• Linear temporal logic

Towards Domain-Specific Property Languages: The ProMoBox Approach Bart Meyers, Manuel Wimmer, Hans Vangheluwe, Joachim Denil The 13th Workshop on Domain-Specific Modeling @ SPLASH 2013 Motivation

Source URL: www.dsmforum.org

• Elevator
• Formal methods
• Software development
• Software engineering
• Philosophy of technology
• Temporal logic in finite-state verification
• Model checking
• Linear temporal logic
• Domain-specific modeling

Controlling Wild Bodies Using Linear Temporal Logic Leonardo Bobadilla Oscar Sanchez Justin Czarnowski [removed] [removed] [removed]

Source URL: msl.cs.uiuc.edu

• Modal logic
• Model checking
• Robonaut
• Markov chain
• Kinematics
• Logic
• Linear temporal logic
• Temporal logic

An Algorithm for Computing the Restriction Scaffold Assignment Problem in Computational Biology Justin Colannino Godfried Toussaint School of Computer Science

Source URL: www-cgrl.cs.mcgill.ca

• Quantum mechanics
• Linear temporal logic
• Mathematics
• Function
• Functional analysis

Feature Selection Using Regularization in Approximate Linear Programs for Markov Decision Processes Marek Petrik* [removed] Gavin Taylor†

Source URL: www.cs.duke.edu

• Linear temporal logic
• Functional analysis
• Distribution
• Representation theory

Logic and Automata over Infinite Trees Der Fakult¨at f¨ ur Mathematik, Informatik und Naturwissenschaften der Rheinisch-Westf¨alischen Technischen Hochschule Aachen

Source URL: www.automata.rwth-aachen.de

• Formal languages
• Combinatorics on words
• Mathematical logic
• Models of computation
• Linear temporal logic
• Finite-state machine
• Tree automaton
• Parity game
• Alphabet
• Automata theory
• Mathematics
• Theoretical computer science

Games and Automata for Verification ¨ Christof Loding RWTH Aachen, Germany 2009

Source URL: www.automata.rwth-aachen.de

• Automata theory
• Tree
• Linear temporal logic
• Temporal logic
• Model checking

Linear temporal logic for regular cost functions

Source URL: www.liafa.univ-paris-diderot.fr